Logical Difference and Module Extraction with CEX and MEX
نویسندگان
چکیده
– The module extraction problem: given a terminology T1 and a signature Σ, extract from T1 a minimal self-contained terminology T0 such that T1 and T0 imply the same dependencies between Σ-terms. – The logical diff problem: given a signature Σ and two versions T0 and T1 of a terminology, check whether T0 and T1 are logically different in the sense that they do not imply the same dependencies between Σ-terms.
منابع مشابه
Comparison of the Effects of Modern Assessment Methods (DOPS and Mini-CEX) with traditional method on Nursing Students' Clinical Skills: A Randomized Trial
Introduction: Student assessment is of the most important responsibilities of a clinical teacher. Application of new methods of assessment is necessary due to significant improvement in clinical teaching methods. In the meantime, new assessment approaches that simultaneously enforce learning have been greeted more than other methods. Therefore, this study was conducted to compare the new method...
متن کاملThe Logical Difference Problem for Description Logic Terminologies
We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we present a tractable algorithm which, given two terminologies and a signature, outputs a set of concepts, which can be regarded as the logical difference between the two terminologies. As a consequence, the algorithm can also decid...
متن کاملEffects of structured written feedback by cards on medical students’ performance at mini clinical evaluation exercise (Mini-CEX) in an outpatient clinic
Introduction: Feedback cards are recommended as a feasible toolfor structured written feedback delivery in clinical education whileeffectiveness of this tool on the medical students’ performanceis still questionable. The purpose of this study was to comparethe effects of structured written feedback by cards as well asverbal feedback versus verbal feedback alone on the clinicalperformance of med...
متن کامل